Reasoning on Spatial Semantic Integrity Constraints
نویسنده
چکیده
Semantic integrity constraints specify relations between entity classes. These relations must hold to ensure that the data conforms to the semantics intended by the data model. For spatial data many semantic integrity constraints are based on spatial properties like topological or metric relations. Reasoning on such spatial relations and the corresponding derivation of implicit knowledge allow for many interesting applications. The paper investigates reasoning algorithms which can be used to check the internal consistency of a set of spatial semantic integrity constraints. Since integrity constraints are defined at the class level, the logical properties of spatial relations can not directly be applied. Therefore a set of 17 abstract class relations has been defined, which combined with the instance relations enables the specification of integrity constraints. The investigated logical properties of the class relations enable to discover conflicts and redundancies in sets of spatial semantic integrity constraints.
منابع مشابه
Checking the Integrity of Spatial Semantic Integrity Constraints∗
Integrity constraints play a major role when the quality of spatial data is checked by automatic procedures. Nevertheless the possibilities of checking the internal consistency of the integrity constraints themselves are hardly researched yet. This work analyses the applicability of reasoning techniques like the composition of spatial relations and constraint satisfaction in networks of relatio...
متن کاملSpatial Reasoning with Place Information on the Semantic Web
Geographical referencing of data and resources on the Web has become prevalent. Discovering and linking this information poses eminent research challenges to the geospatial semantic web, with regards to the representation and manipulation of information on geographic places. Towards addressing these challenges, this work explores the potential of the current semantic web languages and tools. In...
متن کاملSemantic Query Optimization through Abduction and Constraint Handling
The use of integrity constraints to perform Semantic Query Optimization (SQO) in deductive databases can be formalized in a way similar to the use of integrity constraints in Abductive Logic Programming (ALP) and the use of Constraint Handling Rules in Constraint Logic Programming (CLP). Based on this observation and on the similar role played by, respectively, extensional, abducible and constr...
متن کاملSemantic Integrity Constraints for Spatial Databases
This paper introduces a formalization of a set of spatial semantic integrity constraints on an extended-relational database model. The formalization extends traditional notions of functional and inclusion dependencies by adding interaction with spatial attributes. This enables to specify implicit and explicit topological conditions between geometries and impose constraints on thematic attribute...
متن کاملOn the consistency of spatial semantic integrity constraints
Geographical data are the core of any Geographical Information System (GIS) and any Geographic Information (GI) application. Because of the increasing use of decentrally held data and networked services, detailed knowledge about the existing data (i.e., its origin, structure, formats, quality, availability and reference applications) becomes more and more important. The availability of such met...
متن کامل